// Monkey-patch in a "global" object that fakes some Shell utilities
// that ExtensionUtils depends on.
window.global = {
- log() {
- print([].join.call(arguments, ', '));
+ log(...args) {
+ print(args.join(', '));
},
logError(s) {
};
}
-function _loggingFunc() {
- let fields = {'MESSAGE': [].join.call(arguments, ', ')};
+function _loggingFunc(...args) {
+ let fields = {'MESSAGE': args.join(', ')};
let domain = "GNOME Shell";
// If the caller is an extension, add it as metadata
return Tweener.getTweenCount(scope) != 0;
}
-function removeTweens(scope) {
- if (Tweener.removeTweens.apply(null, arguments)) {
+function removeTweens(...args) {
+ if (Tweener.removeTweens(args)) {
+ let [scope] = args;
// If we just removed the last active tween, clean up
if (Tweener.getTweenCount(scope) == 0)
_tweenCompleted(scope);
return false;
}
-function pauseTweens() {
- return Tweener.pauseTweens.apply(null, arguments);
+function pauseTweens(...args) {
+ return Tweener.pauseTweens(...args);
}
-function resumeTweens() {
- return Tweener.resumeTweens.apply(null, arguments);
+function resumeTweens(...args) {
+ return Tweener.resumeTweens(...args);
}